1. Formal models and techniques for analyzing security protocols
پدیدآورنده : edited by Veronique Cortier and Steve Kremer
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Computer security,Access control ، Computers,Security measures ، Computer networks,Access control ، Electronic information resources
رده :
QA
76
.
9
.
A25
F6563
2. Formal models and techniques for analyzing security protocols /
پدیدآورنده : edited by Véronique Cortier and Steve Kremer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures,Computer security,Computers-- Access control,Electronic information resources-- Access control
رده :
QA76
.
9
.
A25
F654
2011
